一类孤立子系统的无穷守恒律及其精确解

通过一个谱问题得到了一类孤子族方程:包括广义TD(k=1),TD(k=1,α=0),广义C-KdV(k=0)与C-KdV(k=0,α=0)等,进而利用Riccati方程及相容条件得到了此类孤子方程的无穷多个守恒量及其连带流。并且针对特定的非线性发展方程,给出了其精确的孤子解及椭圆函数解。     

修正的Navier—Stokes方程的再生性质和周期解

本文证明了由提出的修正的Navier-Stokes方程在小外力的条件下对t_1∈(0,T]存在唯一的初始速度分布使得相应的初边值问题的广义解具再生性质:(t_1)=(0)=.从而当外力还是时间t的周期函数时,是周期解.进而证明此周期解以指数方式吸引相应于同一外力但初值可任意的其它解.上述结论的证明基于对广义解v的导数v在空间L~∞(0,T;L~2(Ω))中估计.     

关于简化Newton方法收敛性的注记

在假设算子方程解存在的前提下,给出了以解为中心的一个球域,证明了当初始点落到这个球域时,用于判断简化Newton方法收敛性的Kantorovich定理的条件必然满足,从而由简化Newton方法产生的迭代序列收敛.     

二阶非线性微分方程解的振动性与渐近性

讨论了一类二阶非线性微分方程解的振动性与渐近性,得到了该方程有界解的振动性与渐近性的新的充分条件,改进并推广了已有的结果。     

关子齐次微分方程的积分曲线

记所论微分方程为(E_λ)_n,本文拓广的不变直线法,在(E_λ)_n的“有理相曲线”与临界、中介水平线”的交、切点与型号间建立起对应关系.依次以各水平线上交、切点型号串得的型列为行,使构成(E_λ)_n的型阵.它表达出λ遍取不同实数值(由-∞至,+∞)时,(E_λ)_n积分曲线的定性变化图景.实际上,它就是的均匀旋转向量场的完全族.     

“变截面管中跨声速气流”一文引理的证明

本文对T·P·Liu教授关于“变截面管中跨声速气流”一文的关键性引理给出一个清楚的证明,以使这篇有影响的开创性论文更加完美。     

Sylvester矩阵方程的改进IO迭代算法

通过对Sylvester矩阵方程的理论分析,可知IO迭代算法中迭代矩阵的谱半径随内迭代次数的增大而减小,更新了IO迭代算法中内迭代次数的选择方法,并证明了该算法收敛性与初始矩阵无关。Sylvester矩阵在满足一些特定条件下,为了进一步提高收敛速度,可通过选择适当的相关参数,使得IO迭代算法有较好的收敛速度且比Smith算法的迭代次数明显减少。     

二阶双曲型方程的斜微商边值问题

主要把地阶线性与非线性双曲型方程化为复表式,然后证明某些二阶双曲型复方程解的存在唯一性定理,并给出解的估计式。     

双曲型叶片的数控加工模型研究

给出双曲型点构成的叶片工作面的解析方程,并用主曲率方法给出了刀具参数、数控加工中的步长和行距的定量计算模型,最后用等螺距叶片工作面算例验证本文所供方法不但确保了叶片工作面造型精度,而且大大地提高了加工效率．     

多维双曲型方程一般差分逼近时空网格同时加密的稳定性

讨论多维常系数双曲型方程式在一个中介面两侧的区域中,关于时间空间网格同时加密或稀疏情况下,分别应用不同的一般的柯西稳定差分逼近式的耦合稳定条件,推广了Ｂｅｒｇｅｒ只用于一维情形及Ｌ－Ｗ格式的结果．在多维情形下,应用Ｍｉｃｈｅｌｓｏｎ方法,利用傅里叶变换,得到包含对偶参数的特征方程式．再应用Ｍｉｃｈｅｌｓｏｎ的Ｕ．Ｋ．Ｃ判别条件,得到了多维常系数双曲型方程在中介面两边应用一般的分别为柯西稳定的格式并关于时空网格同时加密或稀疏问题的耦合稳定条件．